This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...) the whole Presburger-CTL* into Presburger arithmetic, thereby enabling effective model checking. We provide evidence that our results are close to optimal with respect to the class of counter systems described above. (shrink)

International relations are in constant turbulence. Globalisation, the rise and fall of superpowers, the fragilisation of the EU, trade wars, real wars, terrorism, persecution, new nationalism and identity politics, climate change, are just a few of the recent disturbing developments. How can international issues be understood and addressed from a Christian faith perspective? In this book answers are presented from various Christian traditions: Neo-calvinism, Catholic social teaching, critical theory and Christian realism. The volume offers fundamental theological and Christian philosophical perspectives (...) on international relations and global challenges, case studies about inspiring Christian leaders such as Robert Schuman, Dag Hammarskjöld, Abraham Kuyper and prophetic critiques of supranational issues. (shrink)

Blackshaw and Hendricks have recently developed and defended the impairment argument against abortion, arguing that the immorality of giving a child fetal alcohol syndrome (FAS) provides us with reason to believe that abortion is immoral. In this paper, we forward two criticisms of the impairment argument. First, we highlight that, as it currently stands, the argument is very weak and accomplishes very little. Second, we argue that Blackshaw and Hendricks are fundamentally mistaken about what makes giving a child FAS immoral. (...) Once we acknowledge this, it is clear that our intuitions about giving a child FAS provide no support for the supposed immorality of abortion. (shrink)

Research integrity is usually discussed in terms of responsibilities that individual researchers bear towards the scientific work they conduct, as well as responsibilities that institutions have to enable those individual researchers to do so. In addition to these two bearers of responsibility, a third category often surfaces, which is variably referred to as culture and practice. These notions merit further development beyond a residual category that is to contain everything that is not covered by attributions to individuals and institutions. This (...) paper discusses how thinking in RI can take benefit from more specific ideas on practice and culture. We start by articulating elements of practice and culture, and explore how values central to RI are related to these elements. These insights help identify additional points of intervention for fostering responsible conduct. This helps to build “cultures and practices of research integrity”, as it makes clear that specific times and places are connected to specific practices and cultures and should have a place in the debate on Research Integrity. With this conceptual framework, practitioners as well as theorists can avoid using the notions as residual categories that de facto amount to vague, additional burdens of responsibility for the individual. (shrink)

This book investigates humanities, social sciences and politics from the perspective of the concept of creation order. It is the second volume in a series that provides a unique and topical overview of attempts to assess the current health of the concept of creation order within Reformational philosophy when it is compared with other perspectives. Divided into a section on fundamental reflections and a section on normative practices, it discusses issues such as redemption, beauty, nature, love, justice, morality, and ethics. (...) It concludes with discussions on a practice-based theory to explain religion in international relations and a normative model for the practice of cooperation in development. This series reflects the role that the branch of Christian philosophy called ‘Reformational’ philosophy plays in the discussion on the status of laws of nature. Ever since its inception, almost a century ago, the concepts of order and law have been at the heart of this philosophy. One way to characterise this tradition is as a philosophy of creation order. Firmly rejecting both scholastic metaphysics and Deism, Reformational philosophers have maintained the notion of law as ‘holding’ for reality. Questions have arisen about the nature of such law: is it a religious or philosophical concept; does law just mean ‘orderliness’? How does it relate to laws of nature? Have they always existed or do they ‘emerge’ during the process of evolution? (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

BackgroundResearch codes of conduct offer guidance to researchers with respect to which values should be realized in research practices, how these values are to be realized, and what the respective responsibilities of the individual and the institution are in this. However, the question ofhowthe responsibilities are to be divided between the individual and the institution has hitherto received little attention. We therefore performed an analysis of research codes of conduct to investigate how responsibilities are positioned as individual or institutional, and (...) how the boundary between the two is drawn.MethodWe selected 12 institutional, national and international codes of conduct that apply to medical research in the Netherlands and subjected them to a close-reading content analysis. We first identified the dominant themes and then investigated how responsibility is attributed to individuals and institutions.ResultsWe observed that the attribution of responsibility to either the individual or the institution is often not entirely clear, and that the notion ofcultureemerges as a residual category for such attributions. We see this notion of responsible research cultures as important; it is something that mediates between the individual level and the institutional level. However, at the same time it largely lacks substantiation.ConclusionsWhile many attributions of individual and institutional responsibility are clear, the exact boundary between the two is often problematic. We suggest two possible avenues for improving codes of conduct: either to clearly attribute responsibilities to individuals or institutions and depend less on the notion of culture, or to make culture a more explicit concern and articulate what it is and how a good culture might be fostered. (shrink)

What is empiricism and what could it be? Bas . van Fraassen, one of the world’s foremost contributors to philosophical logic and the philosophy of science, here undertakes a fresh consideration of these questions and offers a program for renewal of the empiricist tradition. The empiricist tradition is not and could not be defined by common doctrines, but embodies a certain stance in philosophy, van Fraassen says. This stance is displayed first of all in a searing, recurrent critique of metaphysics, (...) and secondly in a focus on experience that requires a voluntarist view of belief and opinion. Van Fraassen focuses on the philosophical problems of scientific and conceptual revolutions and on the not unrelated ruptures between religious and secular ways of seeing or conceiving of ourselves. He explores what it is to be or not be secular and points the way toward a new relationship between secularism and science within philosophy. (shrink)

As technology has the ability to displace power and politics, it needs to be at the centre of political concern. This article develops the idea that technological citizenship is an important concept in cultivating political sensitivity to technology. Rather than straightforwardly correcting for the displacement of power, technological citizenship must cultivate this displacement and engage with it through contestation. Drawing on insights from the critical theory of technology, this article reconceptualizes the political effects of technology as internal to both politics (...) and technology design, rather than externalities. By recontextualizing, the critical theory aims to reshape the input space of technology design, and include a broader range of values. This conflation of the political and the technical shows remarkable parallels with the generic concept of sustainability. It is thus concluded that technological citizenship is essentially sustainable citizenship. (shrink)

What is empiricism and what could it be? Bas C. van Fraassen, one of the world’s foremost contributors to philosophical logic and the philosophy of science, here undertakes a fresh consideration of these questions and offers a program for renewal of the empiricist tradition. The empiricist tradition is not and could not be defined by common doctrines, but embodies a certain stance in philosophy, van Fraassen says. This stance is displayed first of all in a searing, recurrent critique of metaphysics, (...) and second in a focus on experience that requires a voluntarist view of belief and opinion._ _Van Fraassen focuses on the philosophical problems of scientific and conceptual revolutions and on the not unrelated ruptures between religious and secular ways of seeing or conceiving of ourselves. He explores what it is to be or not be secular and points the way toward a new relationship between secularism and science within philosophy. (shrink)

In recent years a large empirical literature has appeared on suffering at the end of life. In this literature it is recognized that suffering has existential and social dimensions in addition to physical and psychological ones. The non-physical aspects of suffering, however, are still understood as pathological symptoms, to be reduced by therapeutical interventions as much as possible. But suffering itself and the negative emotional states it consists of are intentional states of mind which, as such, make cognitive claims: they (...) are more or less appropriate responses to the actual circumstances of the patient. These circumstances often are such that it would rather be a pathological symptom not to be sad and not to suffer. Suffering, therefore, is sometimes and to some extent a condition to be respected. Although I do not dispute that the alleviation of suffering is the main aim of palliative care, in pursuing that aim we should acknowledge a constraint of realism. (shrink)

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...) types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)

Organizations such as the EU High-Level Expert Group on AI and the IEEE have recently formulated ethical principles and (moral) values that should be adhered to in the design and deployment of artificial intelligence (AI). These include respect for autonomy, non-maleficence, fairness, transparency, explainability, and accountability. But how can we ensure and verify that an AI system actually respects these values? To help answer this question, I propose an account for determining when an AI system can be said to embody (...) certain values. This account understands embodied values as the result of design activities intended to embed those values in such systems. AI systems are here understood as a special kind of sociotechnical system that, like traditional sociotechnical systems, are composed of technical artifacts, human agents, and institutions but—in addition—contain artificial agents and certain technical norms that regulate interactions between artificial agents and other elements of the system. The specific challenges and opportunities of embedding values in AI systems are discussed, and some lessons for better embedding values in AI systems are drawn. (shrink)

ABSTRACTIn The Netherlands, the public funding of a number of health care services is controversial. What can we learn from this about the moral concerns that underlie these judgements? And, if there is anything to learn, can we use this improved understanding to scrutinise the adequacy of particular decisions concerning the public funding of health care services? In the present paper, I will analyse three cases: corrective surgey, In Vitro Fertilisation and liver transplantation. I will summarise the arguments that have (...) been used to support or to challenge the public funding of these services. I will then assess the merits of Daniels’fair equality of opportunity account of justice in health care. Can this account improve our understanding of the moral concerns underlying our judgements about the public funding of these services? Can it serve to scrutinise the adequacy of particular decisions that are made concerning the public funding of health care services? My answer to both questions will be a qualified yes. Daniels’account can provide guidance, but not because we can deductively infer from it what is right and what is wrong. Instead, I will argue for a more casuistic use of the concept of fair equality of opportunity. (shrink)

Bryan W. Van Norden lambastes academic philosophy for its Eurocentrism and insularity and challenges educational institutions to live up to their cosmopolitan ideals. Taking Back Philosophy is at once a manifesto for multicultural education, an accessible introduction to Confucian and Buddhist philosophy, and a defense of the value of philosophy.

Metaethics: A Contemporary Introduction provides a solid foundation in metaethics for advanced undergraduates by introducing a series of puzzles that most metaethical theories address. These puzzles involve moral disagreement, reference, moral epistemology, metaphysics, and moral psychology. From there, author Mark van Roojen discusses the many positions in metaethics that people will take in reaction to these puzzles. Van Roojen asks several essential questions of his readers, namely: What is metaethics? Why study it? How does one discuss metaethics, given its inherently (...) controversial nature? Each chapter closes with questions, both for reading comprehension and further discussion, and annotated suggestions for further reading. (shrink)

This DOI is not currently attached to any metadata records. DOIs can’t actually ever be deleted (they’re persistent), but sometimes our members create DOIs in error. We do have a process to approximate deletion which we follow only in rare cases where the DOI has been genuinely created in error, and most crucially, if the DOI has never been published anywhere online or in print and never otherwise distributed to or communicated with anyone (authors, readers, reviewers, etc.

The basic question concerning the compatibility of donation after circulatory death (DCD) protocols with the dead donor rule is whether such protocols can guarantee that the loss of relevant biological functions is truly irreversible. Which functions are the relevant ones? I argue that the answer to this question can be derived neither from a proper understanding of the meaning of the term “death” nor from a proper understanding of the nature of death as a biological phenomenon. The concept of death (...) can be made fully determinate only by stipulation. I propose to focus on the irreversible loss of the capacity for consciousness and the capacity for spontaneous breathing. Having accepted that proposal, the meaning of “irreversibility” need not be twisted in order to claim that DCD protocols can guarantee that the loss of these functions is irreversible. And this guarantee does not mean that reversing that loss is either conceptually impossible or known to be impossible with absolute certainty. (shrink)

This text gives examples of how a different kind of human experience may be explored, and how the methods used for investigating phenomena may contribute to the process of human understanding.

8-9 January 2013 at the Vrije Universiteit Amsterdam, a seminar took place bringing together people from various parts of the world, various disciplines, and various academic and non-academic professions — philosophers, economists, theologians, historians, social scientists as well as bankers, businessmen, investors and others — to analyze and discuss the economic crisis as it developed in the aftermath ofthe American financial crisis of 2008. An explicit goal was as well to bring together people from various generations, to facilitate and promote (...) a true ‘intergenerational dialogue’. The title of the seminar was ‘Economics, Christianity & the Crisis: Towards a New Architectonic Critique’. More specifically, the aim of the seminar was to develop Christianly inspired reflections on the crisis. An insight that was foundational for the seminar was that the 2008 credit crisis not only was a crisis in the economy, but implied also a crisis in the basic concepts and assumptions that underlie our contemporary thinking about economics, economics as a science as well as economics as a social domain. The crisis, as it erupted and evolved, simultaneously raised urgent questions at the macro- or system-level, at the intermediate level of behavior of banks and corporations, and at the level of personal morality, the vices and virtues involved in business transactions. (shrink)

Opt-out systems of postmortem organ procurement are often supposed to be justifiable by presumed consent, but this justification turns out to depend on a mistaken mental state conception of consent. A promising alternative justification appeals to the analogical situation that occurs when an emergency decision has to be made about medical treatment for a patient who is unable to give or withhold his consent. In such cases, the decision should be made in the best interests of the patient. The analogous (...) suggestion to be considered, then, is, if the potential donor has not registered either his willingness or his refusal to donate, the probabilities that he would or would not have preferred the removal of his organs need to be weighed. And in some actual cases the probability of the first alternative may be greater. This article considers whether the analogy to which this argument appeals is cogent, and concludes that there are important differences between the emergency and the organ removal cases, both as regards the nature of the interests involved and the nature of the right not to be treated without one’s consent. Rather, if opt-out systems are to be justified, the needs of patients with organ failure and/or the possibility of tacit consent should be considered. (shrink)

Bei der „terminalen Sedierung“ wird ein unheilbar kranker und schwer leidender Patient für den Rest seines Lebens in ein tiefes Koma versetzt. Das hierzu verwendete Morphin bzw. Midazolam kann lebensverkürzend wirken. Ist dies also eine Maßnahme, die das Leben des Patienten beendet, auf seinen Wunsch hin oder nicht? Gewöhnlich wird diese Frage mit nein beantwortet, wenn die lebensverkürzende Wirkung nur vorhersehbar, aber nicht beabsichtigt ist. Allerdings ist der Zugang der Menschen auch zu ihren eigenen Intentionen fallibel, so dass sogar ihre (...) Selbstangaben in komplexen Fällen nicht sehr zuverlässig sind. Wenn ein Arzt sagt, dass er „beabsichtigt“, das Leben eines Patienten zu verkürzen, meint er damit möglicherweise nur, dass dieses vorhersehbare Ergebnis ein erwünschtes ist. Diese Art der Einschätzung kann nicht als solche moralisch diskreditiert werden, weil sie bei anderen allgemein akzeptierten Entscheidungen unvermeidlich ist, z. B. von einer „vergeblichen“ Behandlung Abstand zu nehmen. Legitimerweise können wir von einem Fachmann erwarten, dass er begründet handelt. Deshalb sollte unsere Klassifikation von ärztlichem Handeln als „terminale Sedierung“ oder „Beendigung des Lebens des Patienten“ nicht von den Intentionen des Arztes abhängen, sondern von den in dieser speziellen Krankheitsphase bei diesem speziellen Patienten verwendeten Dosierungen. (shrink)

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book (...) develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science. (shrink)

This paper explains a fallacy that often arises in theorizing about human minds. I call it the Factual Belief Fallacy. The Fallacy, roughly, involves drawing conclusions about human psychology that improperly ignore the large backgrounds of mostly accurate factual beliefs people have. The Factual Belief Fallacy has led to significant mistakes in both philosophy of mind and cognitive science of religion. Avoiding it helps us better see the difference between factual belief and religious credence; seeing that difference in turn enables (...) us to pose interesting normative questions about various mental states labeled “belief.”. (shrink)

This book gathers together thirteen of Peter van Inwagen's essays on metaphysics, several of which have acquired the status of modern classics in their field. They range widely across such topics as Quine's philosophy of quantification, the ontology of fiction, the part-whole relation, the theory of 'temporal parts', and human knowledge of modal truths. In addition, van Inwagen considers the question as to whether the psychological continuity theory of personal identity is compatible with materialism, and defends the thesis that possible (...) states of affairs are abstract objects, in opposition to David Lewis's 'extreme modal realism'. A specially-written introduction completes the collection, which will be an invaluable resource for anyone interested in metaphysics. (shrink)